#ifndef _ARCH_X86_MEMORY_LAYOUT_HPP_
#define _ARCH_X86_MEMORY_LAYOUT_HPP_

#define USERSPACE_START             0x0
#define USERSPACE_END               0xC0000000
#define KERNEL_IMAGE_START          0xC0000000   // maximum for code, data and bss sections
#define KERNEL_IMAGE_END            0xC4000000
#define KERNEL_MODULES_START        0xC4000000
#define KERNEL_MODULES_END          0xC8000000
#define KERNEL_SCRATCH_SPACE_START  0xC8000000
#define KERNEL_SCRATCH_SPACE_END    0xC8400000
#define KERNEL_PLACEMENT_START      0xC8400000
#define KERNEL_PLACEMENT_END        0xCB000000
#define KERNEL_HEAP_START           0xD0000000
#define KERNEL_HEAP_END             0xE0000000

#endif // _ARCH_X86_MEMORY_LAYOUT_HPP_
